退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过消除变量和从句来有效地对SAT进行预处理
Niklas Een; Armin Biere;
机译:难得的SAT公式容易识别吗?大子句-变量比下K-SAT消息传递算法的效率
机译:取消SAT和QSAT条款
机译:通过变量和子句消除在SAT中进行有效的预处理
机译:将变量消除作为一种预处理技术来加快SAT的速度。
机译:有效的预处理程序实际上消除了静止状态FMRI中依赖于距离的运动伪像
机译:NiVER:预处理saT实例的非增加变量消除分辨率
机译:MAX-SAT的简化子句
机译:简化MAX-SAT条款
机译:基于模板子句的SAT技术
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。